翻訳と辞書
Words near each other
・ Róbert Polievka
・ Róbert Pukalovič
・ Róbert Pukalovič (ice hockey b. 1960)
・ Róbert Pukalovič (ice hockey b. 1984)
・ Róbert Richnák
・ Róbert Rideg
・ Róbert Rudolf
・ Róbert Ruffíni
・ Róbert Rácz
・ Róbert Rák
・ Róbert Répássy
・ Róbert Schaffhauser
・ Róbert Semeník
・ Róbert Sighvatsson
・ Róbert Szegedi
Róbert Szelepcsényi
・ Róbert Szepessy
・ Róbert Söptei
・ Róbert Tomaschek
・ Róbert Tomko
・ Róbert Tábori
・ Róbert Ujčík
・ Róbert Valenta
・ Róbert Valíček
・ Róbert Vaniš
・ Róbert Varga
・ Róbert Varga (tennis)
・ Róbert Vittek
・ Róbert Waltner
・ Róbert Zeher


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Róbert Szelepcsényi : ウィキペディア英語版
Róbert Szelepcsényi
Róbert Szelepcsényi (; born 19 August 1966, Žilina〔Milan Strhan, David Daniel (eds), ''Slovakia and the Slovaks – A concise encyclopedia'', Encyclopedic Institute of the Slovak Academy of Sciences, 1994.〕) was a Slovak student of Hungarian descent and a member of the Faculty of Mathematics, Physics and Informatics of Comenius University in Bratislava.
His results on the closure of non-deterministic space under complement, independently obtained in 1987 also by Neil Immerman (the result known as the Immerman–Szelepcsényi theorem), brought the Gödel Prize of ACM and EATCS to both of them in 1995.〔(Gödel Prize citation from ACM )〕
==Scientific articles==

* Róbert Szelepcsényi: The Method of Forced Enumeration for Nondeterministic Automata. ''Acta Informatica'' 26(3): 279-284 (1988)

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Róbert Szelepcsényi」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.